Theorem Proving System - PDFSEARCH.IO - Document Search Engine

Theorem Proving System
Results: 96

#	Item
51	Differential Dynamic Logics Automated Theorem Proving for Hybrid Systems Andr´e Platzer Department of Computing Science Carl-von-Ossietzky University of Oldenburg, Germany Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:09:30 Automated theorem proving Mathematics Systems theory Abstraction Dynamical systems Differential equations Hybrid system
52	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science
53	Proof complexity of propositional default logic Add to Reading List Source URL: eprints.whiterose.ac.uk Language: English - Date: 2014-06-05 13:45:53 Proof theory Logic in computer science Automated theorem proving Propositional calculus Logical syntax Frege system Sequent Proof calculus Proof complexity Logic Mathematical logic Theoretical computer science
54	Name _____________________________________________________________________________________________________ Variables and Tables R 1-7 Add to Reading List Source URL: pleasanton.k12.ca.us Language: English - Date: 2004-01-27 14:52:06 Multiplication Automated theorem proving Constraint programming Trachtenberg system Mathematics Elementary arithmetic Mathematical notation
55	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
56	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic
57	Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:08 Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science
58	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems
59	Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2013-11-27 08:47:00 Applied mathematics Formal methods Mathematics Theoretical computer science Automated theorem proving Verification Stability System Control theory Formal sciences Cybernetics Science
60	Insights into the Eligible Training Provider System Roles and Responsibilities of Local Workforce Development Boards Monitoring Add to Reading List Source URL: www.texasworkforce.org Language: English - Date: 2014-05-14 12:10:58 105th United States Congress Workforce Investment Act Theorem Proving System

UPDATE